O que é modus ponens?

Modus ponens é um dos argumentos válidos mais fundamentais na lógica formal. É descrito como um padrão de inferência que estabelece uma relação entre uma condicional e sua antecedente.

A estrutura do modus ponens segue a seguinte forma:

Se p, então q. P. Portanto, q.

Onde: p representa a antecedente da condicional. q representa o consequente da condicional.

Por exemplo: Se está chovendo, então a rua está molhada. Está chovendo. Portanto, a rua está molhada.

Em resumo, o modus ponens é uma regra de inferência que nos permite concluir que, se uma afirmação condicional é verdadeira e a afirmação da antecedente também é verdadeira, então podemos concluir que a afirmação do consequente também é verdadeira.